Issue721c.agda:20,30-31
Bool !=< (t ≡ t) of type Set
when checking that the expression t has type t ≡ t
